and Science - PDFSEARCH.IO - Document Search Engine

and Science
Results: 374638

#	Item
21	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
22	Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2013-03-31 09:28:56 Cryptography Multivariate cryptography Post-quantum cryptography Algebra Polynomials Unbalanced Oil and Vinegar Hidden Field Equations Algebraic equation QUAD Variable Equation Finite field
23	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:33:38 Mathematical analysis Mathematics Embedded systems Prosthetics Artificial cardiac pacemaker Cardiac electrophysiology Cybernetics Neuroprosthetics IP Analysis FO Dirac delta function
24	Worcester Polytechnic Institute Social Science and Policy Studies Department GOV 231X – The Politics of Food Sample Syllabus Course Information Professor Patricia Stapleton Add to Reading List Source URL: www.patriciastapleton.com Language: English - Date: 2018-08-04 14:42:46 Health Food and drink Food and Drug Administration Food science Food law Pharmaceuticals policy Food safety Product safety FDA Food Safety Modernization Act Center for Food Safety and Applied Nutrition Food politics Food
25	Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Proof theory Mathematical logic Logic Mathematics Sequent Natural deduction Cut-elimination theorem Admissible rule Proof complexity Propositional calculus Structural rule Cut rule
26	Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Add to Reading List Source URL: suncontract.org Language: English - Date: 2018-10-19 08:31:23 Enterprise application integration Computing Oracle SOA Suite Matja Business Process Execution Language Oracle Fusion Middleware Rozman Economy Software architecture
27	Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:04:29 Mathematics Algebra Combinatorial optimization Mathematical logic Mathematical optimization Operations research Algorithm Sheaf Branch and bound Universal property Equation solving Boolean algebra
28	Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software engineering Computing Computer programming Object-oriented programming Method High-level programming languages Functional languages Programming languages Inheritance Method overriding Factory Polymorphism
29	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
30	A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch Add to Reading List Source URL: www.netsec.ethz.ch Language: English Domain name system Internet Internet Standards Network architecture Computing Domain Name System Security Extensions Name server Domain name Root name server WHOIS Fully qualified domain name Second-level domain

UPDATE